269ac5b0b6265d8a43aa6f27d3e2e9f0e0fdddec,core/typesystemEngine/source/jetbrains/mps/newTypesystem/state/Inequalities.java,Inequalities,onInequalityAdded,#RelationBlock#,194

Before Change


          myNodesToBlocksInc.addLink(inputVar, inequality);
        }
      }
      for (SNode outputVar : TypesUtil.getVariables(output, myState)) {
        if (TypesUtil.isVariable(outputVar)) {
          myNodesInc.add(outputVar);
          myNodesToBlocksInc.addLink(outputVar, inequality);
        }
      }
      if (input != output) {
        for (SNode inputVar : TypesUtil.getVariables(input, myState)) {
          for (SNode outputVar : TypesUtil.getVariables(output, myState)) {
            addVariablesLinkInc(myState.getRepresentative(inputVar), myState.getRepresentative(outputVar));
          }

After Change


      SNode output = myState.getRepresentative(pair.o2);
      if (input == null || output == null) continue;

      final List<SNode> invars = TypesUtil.getVariables(input, myState);
      for (SNode inputVar : invars) {
        if (TypesUtil.isVariable(inputVar)) {
          myNodesInc.add(inputVar);